Buy Used and New Nicolas Halbwachs Books

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... 3440 (Lecture Notes in Computer Science)

by Lenore Zuck,Nicolas Halbwachs

ISBN 13: 9783540253334

Format: Illustrated (612 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

by Nicolas Halbwachs,Doron Peled

ISBN 13: 9783540662020

Format: Paperback (526 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later